Buy Used and New Lubos Brim Books

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... / Programming and Software Engineering)

by

ISBN 13: 9783540709510

Format: Paperback (363 pages)
Publisher: Springer
Published: 20 Feb 2007

Save for later

CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings: 2421 (Lecture Notes in Computer Science)

by Lubos Brim,Antonin Kucera,Petr Jancar,Mojmir Kretinsky

ISBN 13: 9783540440437

Format: Paperback (632 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later